Books by author Dietmar Ratz

Showing 1 – 3 out of 3 results

1. 

   C++ Toolbox for Verified Computing I

   Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   113.29 €

   Sale 7 %

   You save 9.43 €

   Buy
2. 

   Pascal-Xsc

   Rudi Klatte, Ulrich Kulisch, Michael Neaga, Dietmar Ratz, Christian Ullrich | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1991

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: German

   Binding: Paperback

   53.10 €

   Sale 7 %

   You save 4.39 €

   Buy
3. 

   Numerical Toolbox for Verified Computing I

   Rolf Hammer, Matthias Hocks, Ulrich Kulisch, Dietmar Ratz | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.97 €

   Sale 7 %

   You save 8.63 €

   Buy

We offer discounts for students and ISIC card holders. Find out more